Toposes, algebraic geometry and logic - Reports from a conference on connections between category theory and algebraic geometry and intuitionistic logic held at Dalhousie university, Halifax, January 16-19, 1971
- Författare
- Conference on connections between category theory and algebraic geometry and intuitionistic logic 1971) (Halifax : F. W. Lawvere
- (Ed. by F.W. Lawvere.)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1972 | Tyskland, Berlin | 189 sidor. |